Indexed grammar - PDFSEARCH.IO - Document Search Engine

Indexed grammar
Results: 29

#	Item
11	789 Documenta Math. Unramified Skolem Problems and Unramified Arithmetic Bertini Theorems Add to Reading List Source URL: www.math.uiuc.edu Language: English - Date: 2003-12-22 16:28:49 Field theory Ordinal number Constructible universe Splitting field Generalised Whitehead product Indexed grammar
12	GENERAL SHEAVES OVER WEIGHTED PROJECTIVE LINES BY WILLIAM CRAWLEY-BOEVEY (LEEDS) Abstract. We develop a theory of general sheaves over weighted projective lines. We define and study a canonical decomposition, analogous t Add to Reading List Source URL: www1.maths.leeds.ac.uk Language: English - Date: 2008-01-07 07:57:07 Category theory Representation theory CurryHoward correspondence Vector bundle Coherent sheaf Tilting theory Universal property Connection form Indexed grammar
13	71 Documenta Math. Hermitian Lattices and Bounds in K -Theory of Algebraic Integers Add to Reading List Source URL: documenta.sagemath.org Language: English - Date: 2015-07-20 04:49:27 Operator theory Indexed grammar Orbifold
14	789 Documenta Math. Unramified Skolem Problems and Unramified Arithmetic Bertini Theorems Add to Reading List Source URL: documenta.sagemath.org Language: English - Date: 2003-12-22 16:28:49 Field theory Ordinal number Constructible universe Splitting field Generalised Whitehead product Indexed grammar
15	JMLR: Workshop and Conference Proceedings vol 40:1–15, 2015 Optimally Combining Classifiers Using Unlabeled Data Akshay Balsubramani Yoav Freund Add to Reading List Source URL: jmlr.org Language: English - Date: 2015-07-20 20:08:35 Mathematical analysis Mathematics Logic Measure theory Metalogic Model theory Support vector machine Structure Sigma-algebra Indexed grammar
16	Exact Sampling with Integer Linear Programs and Random Perturbations Carolyn Kim Ashish Sabharwal Stefano Ermon Add to Reading List Source URL: ai2-website.s3.amazonaws.com Language: English - Date: 2016-05-10 13:04:43 Mathematics Logic Abstraction Metalogic Model theory Structure Pattern language Indexed grammar
17	Confidential Safety via Correspondence Assertions Radha Jagadeesan Alan Jeffrey Corin Pitcher Add to Reading List Source URL: ect.bell-labs.com Language: English - Date: 2010-12-15 21:40:04 Logic Mathematics Automated theorem proving Logic programming Logical truth Propositional calculus Substitution Mathematical analysis Measure theory Generalised Whitehead product Indexed grammar
18	Polynomially-parsable Unification Grammars Hadas Peled THESIS SUBMITTED IN PARTIAL FULFILLMENT OF THE REQUIREMENTS FOR THE MASTER DEGREE Add to Reading List Source URL: cs.haifa.ac.il Language: English - Date: 2012-08-25 12:06:00 Syntax Range concatenation grammars Indexed grammar Formal grammar LL parser RCG Head-driven phrase structure grammar Unification LKB Formal languages Grammar Linguistics
19	Polynomially-parsable Unification Grammars Hadas Peled Department of Computer Science University of Haifa, Israel [removed] Add to Reading List Source URL: cs.haifa.ac.il Language: English - Date: 2013-06-04 03:32:57 Linguistics Range concatenation grammars Indexed grammar Context-free grammar Formal grammar Unification LL parser Attribute grammar Controlled grammar Formal languages Grammar Syntax
20	Highly constrained unification grammars Daniel Feinstein Department of Computer Science University of Haifa[removed]Haifa, Israel [removed] Add to Reading List Source URL: cs.haifa.ac.il Language: English - Date: 2008-07-05 03:35:29 Computing Indexed grammar Formal grammar Context-free grammar Unification Reentrancy String Formal languages Software engineering Linguistics

UPDATE